Identifying high-impact sub-structures for convolution kernels in document-level sentiment classification

Convolution kernels support the modeling of complex syntactic information in machine-learning tasks. However, such models are highly sensitive to the type and size of syntactic structure used. It is therefore an important challenge to automatically identify high impact sub-structures relevant to a given task. In this paper we present a systematic study investigating (combinations of) sequence and convolution kernels using different types of substructures in document-level sentiment classification. We show that minimal sub-structures extracted from constituency and dependency trees guided by a polarity lexicon show 1.45 point absolute improvement in accuracy over a bag-of-words classifier on a widely used sentiment corpus

Unifying Theories of Reactive Design Contracts

Design-by-contract is an important technique for model-based design in which a composite system is specified by a collection of contracts that specify the behavioural assumptions and guarantees of each component. In this paper, we describe a unifying theory for reactive design contracts that provides the basis for modelling and verification of reactive systems. We provide a language for expression and composition of contracts that is supported by a rich calculational theory. In contrast with other semantic models in the literature, our theory of contracts allow us to specify both the evolution of state variables and the permissible interactions with the environment. Moreover, our model of interaction is abstract, and supports, for instance, discrete time, continuous time, and hybrid computational models. Being based in Unifying Theories of Programming (UTP), our theory can be composed with further computational theories to support semantics for multi-paradigm languages. Practical reasoning support is provided via our proof framework, Isabelle/UTP, including a proof tactic that reduces a conjecture about a reactive program to three predicates, symbolically characterising its assumptions and guarantees about intermediate and final observations. This allows us to verify programs with a large or infinite state space. Our work advances the state-of-the-art in semantics for reactive languages, description of their contractual specifications, and compositional verification

Population-Based Utility of van Herick Grading for Angle-Closure Detection

Primary angle-closure glaucoma accounts for half of glaucoma-related blindness worldwide with a disproportionate burden of disease found in Asian populations. The clinical reference standard for diagnosis of angle closure is gonioscopy, but van Herick (VH) grading of limbal anterior chamber depth (LACD) has been used as a screening tool, with varying sensitivities and specificities on classifying gonioscopically occludable angles reported in Chinese and other East Asian populations. A cutoff of VH grade ≤1 (modified grade ≤15%) has been found to have sensitivities ranging from 19% to 84% and specificities from 86% to 100%, whereas a higher cutoff VH grade ≤2 (modified grade ≤25%) has had sensitivities ranging from 54% to 99% and specificities from 65% to 96%. However, the efficacy of using the VH test as a screening tool in community-based screening programs to identify gonioscopically occludable angle has not been investigated. The purpose of this study was to determine the sensitivity and specificity of modified VH grading of LACD in detecting gonioscopically defined primary angle-closure suspects (PACS) among subjects screened for participation in the Zhongshan Angle Closure Prevention (ZAP) Trial in southern China

Iris volume change with physiologic mydriasis to identify development of angle closure: the Zhongshan Angle Closure Prevention Trial

AIMS: To assess dynamic change of iris area (Iarea) and volume (VOL) with physiologic pupil dilation for progression of primary angle closure suspects. METHODS: Participants underwent baseline examinations including gonioscopy and anterior segment OCT (AS-OCT) as part of the Zhongshan Angle Closure Prevention Trial. The AS-OCT images were obtained both in the dark and light. Progression was defined as development of primary angle closure or an acute angle closure attack. Static ocular biometrics and dynamic changes were compared between progressors and non-progressors and multivariable logistic regression was developed to assess risk factors for progression. RESULTS: A mean 16.8% decrease in Iarea and a mean 6.26% decrease in VOL occurred with pupil dilation, while 22.96% non-progressors and 40% progressors presented VOL increases with pupil dilation. Iarea in light and dark and VOL in light were significantly smaller in progressors. In a multivariable logistic model, older age (p=0.008), narrower horizontal angle opening distance (AOD) 250 µm from the scleral spur (AOD250, p=0.001), flatter iris curvature (IC, p=0.006) and lower loss of iris volume (ΔVOL, p=0.04) were significantly associated with progression. With receiver operating characteristic analysis, the area under the curve for ΔVOL alone was 0.621, while that for the combined index (age, AOD250, IC and ΔVOL) was 0.824. Eyes with elevated intraocular pressure had less VOL loss compared with progressors developing peripheral anterior synechiae alone (p=0.055 for ΔVOL adjusted for pupil enlargement). CONCLUSION: A smaller change in ΔVOL is an additive risk factor to identify eyes more likely to develop angle closure disease. TRIAL REGISTRATION NUMBER: ISRCTN45213099

Anatomical Changes and Predictors of Angle Widening After Laser Peripheral Iridotomy: The Zhongshan Angle Closure Prevention Trial

PURPOSE: To assess anatomical changes after laser peripheral iridotomy (LPI) and predictors of angle widening based on anterior segment OCT (AS-OCT) and angle opening based on gonioscopy in mainland Chinese primary angle closure suspects (PACS). DESIGN: Prospective observational study. PARTICIPANTS: 454 subjects aged 50 to 70 years with PACS. METHODS: Subjects received clinical examinations including gonioscopy and AS-OCT imaging at baseline and 2 weeks after LPI as part of the Zhongshan Angle Closure Prevention (ZAP) Trial. PACS was defined as inability to visualize pigmented trabecular meshwork in two or more quadrants on static gonioscopy. LPI was performed on one eye per subject in a superior (between 11 to 1 o'clock) or temporal or nasal (at or below 10:30 or 1:30 o'clock) location. Biometric parameters in horizontal and vertical AS-OCT scans were measured and averaged. Multivariable linear and logistic regression modeling were performed to determine predictors of angle widening, defined as change in continuous measurements of mean angle opening distance (AOD750), poor angle widening, defined as the lowest quintile of change in mean AOD750, and poor angle opening, defined as residual PACS after LPI based on gonioscopy. MAIN OUTCOME MEASURES: Anatomical changes and predictors of angle widening and opening after LPI. RESULTS: 454 subjects were included in the analysis. 219 received superior LPIs and 235 received temporal or nasal LPIs. There were significant changes among most biometric parameters (p<0.006) after LPI, including greater AOD750 (p<0.001). 120 eyes (26.4%) had residual PACS after LPI. In multivariable regression analysis, several baseline parameters, including superior LPI location (p=0.004), smaller AOD750 (p<0.001), and greater iris curvature (p<0.001), were predictive of greater angle widening. Temporal or nasal LPI locations (OR=2.60, p<0.0001) and greater baseline AOD750 (OR=2.58, 0.1 mm increment, p<0.001) were most predictive of poor angle widening based on AS-OCT. Smaller mean gonioscopy grade (OR=0.34, 1 grade increment) was most predictive of poor angle opening based on gonioscopy. CONCLUSIONS: Superior LPI location results in significantly greater angle widening based on AS-OCT compared to temporal or nasal locations in a Chinese population with PACS. This supports consideration of superior LPI locations to optimize anatomical changes after LPI

Trends in paediatric rheumatology referral times and disease activity indices over a ten-year period among children and young people with Juvenile Idiopathic Arthritis: results from the childhood arthritis prospective Study

OBJECTIVES: The medical management of JIA has advanced significantly over the past 10 years. It is not known whether these changes have impacted on outcomes. The aim of this analysis was to identify and describe trends in referral times, treatment times and 1-year outcomes over a 10-year period among children with JIA enrolled in the Childhood Arthritis Prospective Study. METHODS: The Childhood Arthritis Prospective Study is a prospective inception cohort of children with new-onset inflammatory arthritis. Analysis included all children recruited in 2001–11 with at least 1 year of follow-up, divided into four groups by year of diagnosis. Median referral time, baseline disease pattern (oligoarticular, polyarticular or systemic onset) and time to first definitive treatment were compared between groups. Where possible, clinical juvenile arthritis disease activity score (cJADAS) cut-offs were applied at 1 year. RESULTS: One thousand and sixty-six children were included in the analysis. The median time from symptom onset and referral to first paediatric rheumatology appointment (22.7–24.7 and 3.4–4.7 weeks, respectively) did not vary significantly (∼20% seen within 10 weeks of onset and ∼50% within 4 weeks of referral). For oligoarticular and polyarticular disease, 33.8–47 and 25.4–34.9%, respectively, achieved inactive disease by 1 year, with ∼30% in high disease activity at 1 year. A positive trend towards earlier definitive treatment reached significance in oligoarticular and polyarticular pattern disease. CONCLUSION: Children with new-onset JIA have a persistent delay in access to paediatric rheumatology care, with one-third in high disease activity at 1 year and no significant improvement over the past 10 years. Contributing factors may include service pressures and poor awareness. Further research is necessary to gain a better understanding and improve important clinical outcomes